退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Fair bpel使用不可否认协议处理交易
Muhammad Bilal; Johnson Thomas; John P. Chandler; Debao Chen; A. Gordon Emslie;
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:高效(非)公平不可否认协议的安全性分析
机译:关于公平不可否认协议的安全性
机译:公平BPEL使用不可否认协议处理交易
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:确定优先次序的公平程序:将理论付诸实践
机译:Web服务中不可否认协议的BPEL流程
机译:pEpa不可否认协议模型的有效性分析
机译:用于执行数据文件事务处理以响应客户端对数据文件事务处理请求的数据文件服务器,使用第一事务协议存储更高权限的数据事务处理信息
机译:金融交易准入服务器,用于确保金融交易的完整性和不可重复性
机译:具有面部识别和公平交易引入功能的银行交易机中的交易处理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。